"high level" languages are easier to optimize
jyn.dev·3h·
Discuss: Hacker News
🗃️Database Internals
Binding Application in Idris
andrevidela.com·1d·
Discuss: Hacker News
📐Formal Methods
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·23h·
Discuss: Lobsters, Hacker News
🧠Memory Management
Who Killed class? A Forensic Look at C++’s Forgotten Keyword
hackernoon.com·2d
🦀Rust
jank is C++
jank-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·1d·
Discuss: Hacker News, r/programming
📐Formal Methods
Realbasic (2000)
joelonsoftware.com·1d·
Discuss: Hacker News
🗃️Database Internals
LLMs for coding (+ free workflow templates)
blog.n8n.io·21h·
Discuss: Hacker News
📐Formal Methods
Types are Transforming Python
spin.atomicobject.com·3d·
Discuss: Hacker News
📐Formal Methods
Rust Language Cheat Sheet
cheats.rs·14h·
Discuss: Hacker News
🦀Rust
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·52m·
Discuss: Hacker News
📐Formal Methods
A deep dive into deeply recursive Go
mattermost.com·1d·
Discuss: Hacker News
🗃️Database Internals
Python and Make in 2025
onebadbit.com·3h·
Discuss: Hacker News
📐Formal Methods
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·19h·
Discuss: Hacker News
🗃️Database Internals
Working through 'Writing A C Compiler'
jollygoodsw.wordpress.com·6h·
Discuss: Lobsters, Hacker News
📐Formal Methods
Why Golang Belongs in Your AI Stack—Especially for Preprocessing Pipelines
hackernoon.com·2d
🌊Stream Processing
LLM Failures
funcall.blogspot.com·3d·
Discuss: Hacker News
📐Formal Methods
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·2d·
Discuss: Hacker News
🦀Rust
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·1d·
Discuss: Hacker News
🌊Stream Processing
Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left
medium.com·4d·
Discuss: Hacker News
📐Formal Methods